全称量词 (一阶谓词演算)的英文

• universal quantifier in fopc

• "全称"英文翻译    full name
• "量词"英文翻译    classifier; measure word; qu ...
• "一"英文翻译    one
• "阶"英文翻译    steps; stairs
• "谓词演算"英文翻译    predicate calculus
• "一阶谓词演算" 英文翻译 :    first-order logic; first-order predicate calculus; fopc
• "二阶谓词演算" 英文翻译 :    second-order predicate calculus
• "高阶谓词演算" 英文翻译 :    high-order predicate calculus; higher order predicate calculus; higher-order predicate calculus
• "三阶谓词演算" 英文翻译 :    predicate calculus of the third order
• "一阶纯谓词演算" 英文翻译 :    pure predicate calculus of first order
• "一阶谓词" 英文翻译 :    first-order predicate; predicate of first order
• "谓词演算" 英文翻译 :    first-order logic; predicate calculus; predicate logic; predicative calculus
• "狭谓词演算" 英文翻译 :    restricted predicate calculus
• "全称量词" 英文翻译 :    allquantor universal quantifier; general quantifier; universal quantification; universal quantifier in fopc
• "一阶谓词逻辑" 英文翻译 :    first order predicate logic; first-order logic; first-order predicate logic
• "广义谓词演算" 英文翻译 :    extended predicate calculus
• "谓词演算语言" 英文翻译 :    predicate calculus language
• "一元谓词演算" 英文翻译 :    monadic predicate calculus; one place predicate calculus; unary predicate calculus
• "无界全称量词" 英文翻译 :    unbounded universal quantifier
• "有界全称量词" 英文翻译 :    bounded universal quantifier
• "拟受囿全称量词" 英文翻译 :    quasi-limited univerasl quantifier; quasi-limiteduniveraslquantifier
• "全称量词化变元" 英文翻译 :    universally quantified riable; universally quantified variable; universallyquantifiedriable
• "带恒等式的谓词演算" 英文翻译 :    predicate calculus with identity
• "基于谓词演算的方法" 英文翻译 :    predicate calculus based method
• "谓词演算中的连接词" 英文翻译 :    connective in predicate calculus